11

A Representation Theorem for Unique Decomposition Categories

Year:
2012
Language:
english
File:
PDF, 266 KB
english, 2012
23

Semantics of higher-order quantum computation via geometry of interaction

Year:
2016
Language:
english
File:
PDF, 3.47 MB
english, 2016
32

Partial Traces on Additive Categories

Year:
2018
Language:
english
File:
PDF, 290 KB
english, 2018